منابع مشابه
Encoding Asynchronous Interactions Using Open Petri Nets
We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open places. The standard token game of nets models the reduction semantics of the calculus; the exchange of tokens on open places models the interactions between processes and their environment. The encoding preserves strong and we...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملBisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might interact with the surrounding environment and endowed with a colimit-based composition operation. We show that natural notions of bisimilarity...
متن کاملOpen Petri Nets: Non-deterministic Processes and Compositionality
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interface. The interface towards the external environment of a ranked open net is given by a subset of places designated as open and used for composition. Additionally, a bound on the number of connections which are allowed ...
متن کاملCompositional semantics for open Petri nets based on deterministic processes †
Compositional semantics for open Petri nets based on deterministic processes† PAOLO BALDAN‡, ANDREA CORRADINI§, HARTMUT EHRIG¶ and REIKO HECKEL‖ ‡Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Italy §Dipartimento di Informatica, Università di Pisa, Italy ¶Computer Science Department, Technical University of Berlin, Germany ‖Dept. of Math. and Comp. Science, University of Paderb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2020
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129520000043